w{-}discrete($w$;$i$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($w$.2.2.2.2.2.2.2).1)($i$,$x$)